Method of establishing public key cryptographic protocols against quantum computational attack

ABSTRACT

The present invention relates to information security and discloses a method of establishing public key cryptographic protocols against the quantum computational attack. The method includes the following steps: definition of an infinite non-abelian group G; choosing two private keys in G by two entities; a second entity computing y, and sending y to a first entity; the first entity computing x and z, and sending (x, z) to the second entity; the second entity computing w and v, and sending (w, v) to the first entity; the first entity computing u, and sending u to the second entity; and the first entity computing K A , and the second entity computing K B , thereby reaching a shared key K=K A =K B . The security guarantee of a public key cryptographic algorithm created by the present invention relies on unsolvability of a problem, and has an advantage of free of the quantum computational attack.

CROSS REFERENCE TO RELATED APPLICATIONS

This application claims priority of Chinese patent application No. 201310382299.7 filed on Aug. 21, 2013, the entire content of which are hereby incorporated by reference.

BACKGROUND

Technical Field

The present invention relates to the field of information security, and in particular, to a cryptogram technology for establishing public key cryptographic protocols against the quantum computational attack.

Related Art

The verification for a real identity of a person who sends and receives information, and the non-repudiation of the sent/received information after the information is sent or received and the guarantee of the integrity of data are two important issues about the theme of modern cryptography.

Disclosure of a key cryptogram system presents excellent answers to the issues of the two aspects, and more new ideas and solutions are being generated continually. In a public key system, an encryption key is different from a decryption key. People bring an encryption key to public, so that anyone can use the encryption key; but a decryption key is only known by a person performing decryption. In modern periods, the security of a public key cryptosystem is almost based on two categories of mathematic problems that are considered to be difficult to compute, a first category being a decomposition problem of a big prime number, for example, an RSA algorithm; and a second category being a discrete logarithm problem, for example, a key exchange algorithm of Diffie-Hellman, an El Gamal algorithm, an elliptic curve public key cryptographic algorithm (ECC for short), and the like.

SUMMARY

In order to solve a problem that a hidden trouble exists in identity verification and security of data guarantee based on an existing public key cryptographic protocol, an objective of the present invention is to establish public key cryptographic protocols technology capable of resisting various known attacks, and provide various application protocols on this basis.

One manner for implementing the objective of the present invention is: a method of establishing public key cryptographic protocols against the quantum computational attack, which includes a method for generating a shared key. The method for generating a shared key is also referred to as generating a shared key protocol, and the method for generating a shared key includes the following steps:

(11) establishing an infinite non-abelian group G and two subgroups A and B of G, so that for any aεA and any bεB, the equation ab=ba is true;

(12) choosing, by a first entity of a protocol, an element g in G, where the first entity of the protocol chooses two elements b₁, b₂εA as private keys, and a second entity of the protocol chooses two elements d₁, d₂εB as private keys;

(13) choosing, by the second entity of the protocol, two elements c₁, c₂εB, computing y=d₁c₁gc₂d₂, and sending y to the first entity of the protocol;

(14) choosing, by the first entity of the protocol, four elements a₁, a₂, b₃, b₄εA, computing x=b ₁ a ₁ ga ₂ b ₂ and z=b ₃ a ₁ ya ₂ b ₄ =b ₃ a ₁ d ₁ c ₁ gc ₂ d ₂ a ₂ b ₄,

and sending (x, z) to the second entity of the protocol;

(15) choosing, by the second entity of the protocol, two elements d₃, d₄εB, computing w=d ₃ c ₁ xc ₂ d ₄ =d ₃ c ₁ b ₁ a ₁ ga ₂ b ₂ c ₂ d ₄ and v=d ₁ ⁻¹ zd ₂ ⁻¹ =d ₁ ⁻¹ b ₃ a ₁ d ₁ c ₁ gc ₂ d ₂ a ₂ b ₄ d ₂ ⁻¹ =b ₃ a ₁ c ₁ gc ₂ a ₂ b ₄

and sending (w, v) to the first entity of the protocol;

(16) computing, by the first entity of the protocol, u=b ₁ ⁻¹ wb ₂ ⁻¹ =b ₁ ⁻¹ d ₃ c ₁ b ₁ a ₁ ga ₂ b ₂ c ₂ d ₄ b ₂ ⁻¹ =d ₃ c ₁ a ₁ ga ₂ c ₂ d ₄,

and sending u to the second entity of the protocol; and

(17) computing, by the first entity of the protocol, K_(A)=b₃ ⁻¹vb₄ ⁻¹=a₁c₁gc₂a₂, and computing, by the second entity of the protocol, K_(B)=d₃ ⁻¹ud₄ ⁻¹=c₁a₁ga₂c₂;

because a₁, a₂εA, and c₁, c₂εB, a₁ and c₁ are separately commute with a₂ and c₂ in multiplication, so that the first entity of the protocol and the second entity of the protocol reach a shared key K=K_(A)=K_(B).

In the present invention, an algebra system in which an unsolvable problem exists is first established theoretically, and second, the unsolvability of the problem is used as security guarantee to establish a public key cryptographic algorithm. The security of the algorithm and the equivalence of the unsolvable problem of the present invention prove that the present invention is immune to the quantum computational attack and the like. Because the method of establishing public key cryptographic protocols of the present invention uses an unsolvable decision problem as the security guarantee, the method is powerfully guaranteed both theoretically and in an actual application aspect, and compared with the prior art, has the following advantages:

1. The security guarantee of a built public key cryptographic algorithm relies on the unsolvability of the problem rather than the computation difficulty of the problem, (a classic public key cryptographic algorithm is based on the computation difficulty);

2. That the security of the public key cryptographic algorithm of the present invention is equivalent to the unsolvability of the problem on which the public key cryptographic algorithm relies has been proved mathematically;

3. The public key cryptographic algorithm of the present invention resists the quantum computational attack.

DETAILED DESCRIPTION

The following further describes in detail establishment of public key cryptographic protocols against the quantum computational attack according to the present invention with reference to embodiments.

1. A Platform for Establishing Public Key Cryptographic Protocols

A platform for establishing all public key cryptographic protocols is an infinite non-abelian group G and two subgroups A and B of G, so that for any aεA and any bεB, the equation ab=ba is true. In addition, because of demands of encoding and key generating, G must further satisfy the following conditions:

1) Any word in terms of generators of G representing an element of G has an unique computable normal form;

2) G at least is in exponential growth, that is, the number of elements whose word length is a positive integer n in G is confined to an exponential function about n;

3) Multiplication and inversion of a group based on the normal form is computable.

Therefore, a braid group B_(n) with n≧12 is taken as the infinite non-abelian group G, where B_(n) has the foregoing properties and is a group defined by the following presentation: B _(n)=

σ₁,σ₂, . . . ,σ_(n−1)|σ_(i)σ_(j)=σ_(j)σ_(i) , |i−j|≧2, σ_(i)σ_(i+1)σ_(i)=σ_(i+1)σ_(i)σ_(i+1), 1≦i≦n−2

,

the braid group B_(n) contains the following two subgroups:

let m=└n/2┘ be a maximum integer not greater than n/2, and a left braid LB_(n) and a right braid RB_(n) of the braid group B_(n) separately are LB _(n)=

σ₁,σ₂, . . . ,σ_(m−1)

and RB _(n)=

σ_(m+1),σ_(m+2), . . . ,σ_(n−1)

that is, separately are subgroups generated by σ₁, σ₂, . . . , σ_(m−1) and σ_(m+1), σ_(m+2), . . . , σ_(n−1), and for any aεLB_(n) and any bεRB_(n), ab=ba is true.

When n≧12, LB_(n) and RB_(n) separately contain a subgroup isomorphic to the direct product of F₂×F₂, that is, two free groups with ranks being 2: LA=

σ _(m−5) ²,σ_(m−4) ²,σ_(m−2) ²,σ_(m−1) ²

≦LB _(n) and RA=

σ _(m+1) ²,σ_(m+2) ²,σ_(m+4) ²,σ_(m+5) ²

≦RB _(n),

and then a finite presentation group H whose word problem is unsolvable and that is generated by two elements constructs a Mihailova subgroup M_(LA)(H) of LA and a Mihailova subgroup M_(RA)(H) of RA again; the following is 56 generators of M_(LA)(H), where i=m−5; and when i=m+1, 56 generators of M_(RA)(H) can be obtained: σ_(i) ²σ_(i+3) ², σ_(i+1) ²σ_(i+4) ² , S _(ij) , T _(ij) , j=1,2, . . . ,27

and 27 S_(ij)s are (all σ_(i)s in the following each S_(ij) are replaced with σ_(i+3)s, and all σ_(i+1)s are replaced with σ_(i+4)s to obtain corresponding 27 T_(ij)s, where j=1, 2, . . . , 27):

S_(i 1):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹²)⁻¹     σ_(i + 1)⁻¹²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁹     σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i 2):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰)⁻¹     σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁹     σ_(i)⁻⁴σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i 3):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸)⁻¹     σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁹     σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i 4):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶)⁻¹     σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁹     σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i 5):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴)⁻¹     σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁹     σ_(i)⁻⁴σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i 6):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²(σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁹    σ_(i)⁻⁴σ_(i + 1)¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁻¹     σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i 7):  (σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁹    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹²)⁻¹     σ_(i + 1)⁻¹²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i 8):  (σ_(i)²σ_(i + 1)⁶σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶(σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁹    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰)⁻¹     σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i 9):  (σ_(i)²σ_(i + 1)⁸σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²(σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁹    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸)⁻¹     σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i, 10):  (σ_(i)²σ_(i + 1)¹⁰σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²(σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁹    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶)⁻¹     σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i, 11):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁻¹     σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i, 12):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁻¹     σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸σ_(i)⁻⁴σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i, 13):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹²)⁻¹     σ_(i + 1)⁻¹²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i, 14):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰)⁻¹     σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i, 15):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸)⁻¹     σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸σ_(i)⁻⁴σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i, 16):  (σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²⁰σ_(i)⁴σ_(i + 1)⁻²⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²⁰σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴σ_(i)⁻⁴σ_(i + 1)⁻²⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²⁰σ_(i)⁴σ_(i + 1)⁻²⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶ S_(i, 17):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²⁰σ_(i)⁴σ_(i + 1)⁻²⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²⁰σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶σ_(i)⁻⁴σ_(i + 1)⁻²⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²⁰σ_(i)⁴σ_(i + 1)⁻²⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴ S_(i, 18):  (σ_(i)⁻⁴σ_(i + 1)⁻¹²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹²σ_(i)⁴σ_(i + 1)⁻¹²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)²σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴    σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)²σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)²σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻¹⁸σ_(i)²    σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²⁰σ_(i)⁴σ_(i + 1)⁻²⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²⁰(σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²)²    σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     (σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)²σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻¹⁸σ_(i)²     σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²⁰σ_(i)⁴σ_(i + 1)⁻²⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²⁰(σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²)³     σ_(i)⁻⁴σ_(i + 1)⁻¹²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹²σ_(i)⁴σ_(i + 1)⁻¹²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰ S_(i, 19):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴    σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²     σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶     σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)² S_(i, 20):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)²    σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴     σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸     (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)²σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)² S_(i, 21):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)³    σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴    (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)²σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)²     σ_(i)⁻⁴σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶     (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)³σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)² S_(i, 22):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁴    σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸σ_(i)⁻⁴σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴    (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)³σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)³     σ_(i)⁻⁴σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸     (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁴σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)² S_(i, 23):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁵    σ_(i)⁻⁴σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶    σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²(σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁴    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁴     σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰     (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁵σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)² S_(i, 24):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁶    σ_(i)⁻⁴σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸    σ_(i)⁻⁴σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁵    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁵     σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸σ_(i)⁻⁴σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻³σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰     (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁶σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)² S_(i, 25):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁷    σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸    σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰    (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁶σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁶     σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸     σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰     (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁷σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)² S_(i, 26):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁸    (σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²)³(σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁷    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁷     σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶(σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²)³     (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁸σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)² S_(i, 27):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁹    (σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²)³(σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁸    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁸     σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸(σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²)³     (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁹σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²

2. An Embodiment for Establishing Core Protocol 1 of Public Key Cryptographic Protocols System:

In this embodiment, two entities of the protocol are separately Alice and Bob,

1) Alice and Bob jointly choose an element g in B_(n), Alice chooses two elements b₁, b₂εLB_(n) as private keys, and Bob chooses two elements d₁, d₂εRB_(n) as private keys;

2) Bob chooses two elements c₁, c₂εRB_(n), computes y=d₁c₁gc₂d₂, and sends y to Alice;

3) Alice chooses four elements a₁, a₂, b₃, b₄εLB_(n), computes x=b ₁ a ₁ ga ₂ b ₂ and z=b ₃ a ₁ ya ₂ b ₄ =b ₃ a ₁ d ₁ c ₁ gc ₂ d ₂ a ₂ b ₄,

and sends (x, z) to Bob;

4) Bob chooses two elements d₃, d₄εRB_(n), computes w=d ₃ c ₁ xc ₂ d ₄ =d ₃ c ₁ b ₁ a ₁ ga ₂ b ₂ c ₂ d ₄ and v=d ₁ ⁻¹ zd ₂ ⁻¹ =d ₁ ⁻¹ b ₃ a ₁ d ₁ c ₁ gc ₂ d ₂ a ₂ b ₄ d ₂ ⁻¹ =b ₃ a ₁ c ₁ gc ₂ a ₂ b ₄,

and sends (w, v) to Alice; and

5) Alice computes u=b ₁ ⁻¹ wb ₂ ⁻¹ =b ₁ ⁻¹ d ₃ c ₁ b ₁ a ₁ ga ₂ b ₂ c ₂ d ₄ b ₂ ⁻¹ =d ₃ c ₁ a ₁ ga ₂ c ₂ d ₄,

and sends u to Bob,

In step 4) of the foregoing protocol, because d₁, d₂εRB_(n), and a₁, a₂, b₃, b₄εLB_(n), d₁ ⁻¹ and d₂ ⁻¹ separately commute with b₃ and a₁ and with b₄ and a₂ in multiplication, so that a final equation in the step is obtained. Likewise, a final equation in step 5) is obtained.

On the Basis of this Embodiment, an Exemplary Embodiment for Establishing a Key Exchange Protocol is:

The following procedures are performed after the five steps in the core protocol:

6) Alice computes K_(A)=b₃ ⁻¹vb₄ ⁻¹=a₁c₁gc₂d₂ and Bob computes K_(B)=d₃ ⁻¹ud₄ ⁻¹=c₁a₁ga₂c₂.

Because a₁, a₂εLB_(n), and c₁, c₂εRB_(n), a₁ and c₁ separately commute with a₂ and c₂ in multiplication, so that Alice and Bob reach a shared key K=K_(A)=K_(B).

On the Basis of this Embodiment, an Exemplary Embodiment for Establishing a Data Encryption Protocol is:

It is given that to-be-encrypted plaintext information (encoded) is mε{0, 1}^(k) (that is, a 0-1 string with a length of k), and it is given that Θ: B_(n)→{0, 1}^(k) is a collision-resistant Hash function from the group B_(n) to a plaintext space {0, 1}^(k). The private keys of Alice are (B_(n), LB_(n), RB_(n), g, Θ), and a₁, a₂, b₁, b₂, b₃, b₄εLB_(n) are chosen, and the private keys are b₁ and b₂. Bob chooses c₁, c₂, d₁, d₂, d₃, d₄εRB_(n), and uses d₁ and d₂ as the private keys. The following procedures are performed after the five steps in the core protocol:

6) Encrypting: Bob first computes K_(B)=d₃ ⁻¹ud₄ ⁻¹=c₁a₁ga₂c₂, then computes (encrypts) t=Θ(K_(B))⊕m, uses t as ciphertext, and sends the ciphertext to Alice. ⊕ herein is the exclusive or operation.

7) Decrypting: Alice first computes K_(A)=b₃ ⁻¹vb₄ ⁻¹=a₁c₁gc₂a₂, then computes (decrypts) m′=Θ(K _(A))⊕t=Θ(K _(A))⊕(Θ(K _(B))⊕m)

verification of m′=m: K_(A)=K_(B) is known according to a key exchange protocol, and therefore, m′=Θ(K _(A))⊕(Θ(K _(B))⊕m)=Θ(K _(B))⊕(Θ(K _(B))⊕m)=(Θ(K _(B))⊕Θ(K _(B)))⊕m=m.

On the Basis of this Embodiment, an Exemplary Embodiment for Establishing a Digital Signature Protocol is:

It is given that to-be-encrypted plaintext information (encoded) is m, and it is given that Θ: B_(n)→{0, 1}^(k) is a collision-resistant Hash function. The public keys of Alice are (B_(n), LB_(n), RB_(n), g, Θ), and a₁, a₂, b₁, b₂, b₃, b₄εLB_(n) are chosen, and the private keys are b₁ and b₂. Bob chooses c₁, c₂, d₁, d₂, d₃, d₄εRB_(n), and uses d₁ and d₂ as the private keys. The following procedures are performed after the five steps in the core protocol:

6) Signing: Alice computes K_(A)=b₃ ⁻¹vb₄ ⁻¹=a₁c₁gc₂a₂ and S=Θ(mK_(A)), and Alice uses S as a signature of Alice for a file m and sends (S, m) to Bob.

7) Verifying: Bob computes K_(B)=d₃ ⁻¹ud₄ ⁻¹=c₁a₁ga₂c₂ and S′=Θ(mK_(B)), and if S′=S, Bob acknowledges that S is the signature of Alice for the file m; otherwise, Bob refuses to accept that S is the signature of Alice for the file m.

On the Basis of this Embodiment, an Exemplary Embodiment for an Identity Authentication Protocol on the Basis of the Core Protocol is:

Alice chooses an element g in B_(n), four elements a₁, a₂, b₁, b₂εLB_(n), and a collision-resistant Hash function Θ: B_(n→{0, 1}) ^(k), and computes x=b₁a₁ga₂b₂. The public keys of Alice are (B_(n), LB_(n), RB_(n), g, x, Θ), and the private keys are b₁ and

An authentication process is:

It is given that Alice is a prover and Bob is a verifier.

1) Bob chooses six elements c₁, c₂, d₁, d₂, d₃, d₄εRB_(n), the private keys are d₁ and d₂. Bob computes y=d ₁ c ₁ gc ₂ d ₂ and w=d ₃ c ₁ xc ₂ d ₄,

uses (y, w) as challenge 1, and sends the challenge 1 to Alice;

2) Alice chooses two elements b₃, b₄εLB_(n), computes z=b ₃ a ₁ ya ₂ b ₄ and u=b ₁ ⁻¹ wb ₂ ⁻¹ =d ₃ c ₁ a ₁ ga ₂ c ₂ d ₄,

uses (z, u) as a response, and sends the response to Bob;

3) Bob computes v=d₁ ⁻¹zd₂ ⁻¹=b₃a₁c₁gc₂a₂b₄, uses v as challenge 2, and sends the challenge 2 to Alice;

4) Alice computes t=Θ(b₃ ⁻¹vb₄ ⁻¹)=Θ(a₁c₁gc₂a₂), uses t as a commitment, and sends the commitment to Bob;

5) Bob computes t′=Θ(d₃ ⁻¹ud₄ ⁻¹)=Θ(c₁a₁ga₂c₂), and verifies whether t=t→,

and if t=t′, Bob acknowledges an identity of Alice; otherwise, Bob refuses to acknowledge the identity.

3. An Embodiment for Establishing Core Protocol 2 of Public Key Cryptographic Protocols System:

In this embodiment, two entities of the protocol are separately Alice and Bob,

1.1) Alice and Bob jointly choose an element g in B_(n), Alice chooses two elements b₁εLB_(n) and d₂εRB_(n) as private keys, and Bob chooses two elements b₂εLB_(n) and d₁εRB_(n) as private keys;

2.1) Bob chooses two elements a₂εLB_(n) and c₁εRB_(n), computes y=d₁c₁ga₂b₂, and sends y to Alice;

3.1) Alice chooses four elements a₁, b₄εLB_(n) and c₂, d₄εRB_(n), computes x=b ₁ a ₁ gc ₂ d ₂ and z=b ₄ a ₁ yc ₂ d ₄ =b ₄ a ₁ d ₁ c ₁ ga ₂ b ₂ c ₂ d ₄,

and sends (x, z) to Bob;

4.1) Bob chooses two elements b₃εLB_(n), and d₃εRB_(n), computes w=d ₃ c ₁ xa ₂ b ₃ =d ₃ c ₁ b ₁ a ₁ gc ₂ d ₂ a ₂ b ₃ and v=d ₁ ⁻¹ zb ₂ ⁻¹ =d ₁ ⁻¹ b ₄ a ₁ d ₁ c ₁ ga ₂ b ₂ c ₂ d ₄ b ₂ ⁻¹ =b ₄ a ₁ c ₁ ga ₂ a ₂ c ₂ d ₄,

and sends (w, v) to Alice; and

5.1) Alice computes u=b ₁ ⁻¹ wd ₂ ⁻¹ =b ₁ ⁻¹ d ₃ c ₁ b ₁ a ₁ gc ₂ d ₂ a ₂ b ₃ d ₂ ⁻¹ =d ₃ c ₁ a ₁ gc ₂ a ₂ b ₃,

and sends u to Bob;

In step 4) of the foregoing protocol, because d₁, d₂εRB_(n) and a₁, a₂, b₃, b₄εLB_(n), d₁ ⁻¹, d₂ ⁻¹ separately commute with b₃ and a₁, and with b₄ and a₂ in multiplication, so that a final equation in the step is obtained. Likewise, a final equation in step 5) is obtained.

3.3 An application protocol

The following application protocol is established on the basis of the core protocol.

On the Basis of this Embodiment, an Exemplary Embodiment for Establishing a Key Exchange Protocol is:

the following procedures are performed after the five steps in the core protocol:

6.1) Alice computes K_(A)=b₄ ⁻¹vd₄ ⁻¹=a₁c₁ga₂c₂ and Bob computes K _(B) =d ₃ ⁻¹ ub ₃ ⁻¹ =c ₁ a ₁ gc ₂ a ₂.

Because a₁, a₂εLB_(n), and c₁, c₂εRB_(n), a₁ and c₁ are separately commute with a₂ and c₂ in multiplication, so that Alice and Bob reach a shared key K=K_(A)=K_(B).

On the Basis of this Embodiment, an Exemplary Embodiment for Establishing a Data Encryption Protocol is:

It is given that to-be-encrypted plaintext information (encoded) is mε{0, 1}^(k) (that is, a 0-1 string with a length of k), and it is given that Θ: B_(n)→{0, 1}^(k) is a collision-resistant Hash function from the group B_(n) to a plaintext space {0, 1}^(k). The public keys of Alice are (B_(n), LB_(n), RB_(n), g, Θ), a₁, b₁, b₄εLB_(n) and c₂, d₂, d₄εRB_(n) are chosen, and the private keys are b₁ and d₂. Bob chooses a₂, b₂, b₃εLB_(n) and c₁, d₁, d₃εRB_(n), and uses d₁ and b₂ as the private keys. The following procedures are performed after the five steps in the core protocol:

6.1) Encrypting: Bob first computes K_(B)=d₃ ⁻¹ub₃ ⁻¹=c₁a₁gc₂a₂, then computes (encrypts) t=Θ(K_(B))⊕m, uses t as ciphertext, and sends the ciphertext to Alice. ⊕ herein is the exclusive or operation.

7.1) Decrypting: Alice first computes K_(A)=b₄ ⁻¹vd₄ ⁻¹=a₁c₁ga₂c₂, then computes (decrypts) m′=Θ(K _(A))⊕t=Θ(K _(A))⊕(Θ(K _(B))⊕m)

verification of m′=m: K_(A)=K_(B) is known according to a key exchange protocol, and therefore, m′=Θ(K _(A))⊕(Θ(K _(B))⊕m)=Θ(K _(B))⊕(Θ(K _(B))⊕m)=(Θ(K _(B))⊕Θ(K _(B)))⊕m=m.

On the Basis of this Embodiment, an Exemplary Embodiment for Establishing a Digital Signature Protocol is:

It is given that to-be-encrypted plaintext information (encoded) is m, and it is given that Θ: B_(n)→{0, 1}^(k) is a collision-resistant Hash function. The public keys of Alice are (B_(n), LB_(n), RB_(n), g, Θ), a₁, b₁, b₄εLB_(n) and c₂, d₂, εRB_(n) are chosen, and the private keys are b₁ and d₂. Bob chooses a₂, b₂, b₃εLB_(n) and c₁, d₁, d₃εRB_(n), and uses d₁ and b₂ as the private keys. The following procedures are performed after the five steps in the core protocol:

6.1) Signing: Alice computes K_(A)=b₄ ⁻¹vd₄ ⁻¹=a₁c₁ga₂c₂ and S=Θ(mK_(A)), and Alice uses S as a signature of Alice for a file m and sends (S, m) to Bob.

6.2) Verifying: Bob computes K_(B)=d₃ ⁻¹ ub₃ ⁻¹=c₁a₁gc₂a₂ and S′=Θ(mK_(B)), and if S′=S, Bob acknowledges that S is the signature of Alice for the file m; otherwise, Bob refuses to accept that S is the signature of Alice for the file m.

On the Basis of this Embodiment, an Exemplary Embodiment for an Identity Authentication Protocol on the Basis of the Core Protocol is:

Alice chooses an element g in B_(n), four elements a₁, b₁εLB_(n) and c₂, d₂εRB_(n), and a collision-resistant Hash function Θ: B_(n)→{0, 1}^(k), and computes x=b₁a₁gc₂d₂. The public keys of Alice are (B_(n), LB_(n), RB_(n), g, x, Θ), and the private keys are b₁ and d₂.

An authentication process is:

It is given that Alice is a prover and Bob is a verifier.

6.1) Bob chooses six elements c₁, d₁, d₃εRB_(n) and a₂, b₂, b₃εLB_(n), and the private keys are b₂ and d₁. Bob computes y=d ₁ c ₁ ga ₂ b ₂ and w=d ₃ c ₁ xa ₂ b ₃,

uses (y, w) as challenge 1, and sends the challenge 1 to Alice;

6.2) Alice chooses two elements b₄εLB_(n) and d₄εRB_(n), computes z=b ₄ a ₁ yc ₂ d ₄ and u=b ₁ ⁻¹ wd ₂ ⁻¹ =d ₃ c ₁ a ₁ gc ₂ a ₂ b ₃,

uses (z, u) as a response, and sends the response to Bob;

6.3) Bob computes v=d₁ ⁻¹zb₂ ⁻¹=b₄a₁c₁ga₂c₂d₄, uses v as challenge 2, and sends the challenge 2 to Alice;

6.4) Alice computes t=Θ(b₄ ⁻¹vd₄ ⁻¹)=Θ(a₁c₁ga₂c₂), uses t as a commitment, and sends the commitment to Bob;

6.5) Bob computes t′=Θ(d₃ ⁻¹ub₃ ⁻¹)=Θ(c₁a₁gc₂a₂), and verifies whether t=t′,

and if t=t′, Bob acknowledges an identity of Alice; otherwise, Bob refuses to acknowledge the identity.

4. Security Analysis

We may only provide the security of a key exchange protocol.

First, definitions of three determining problems of a group are provided.

a subgroup membership problem (subgroup membership problem or generalized word problem, GWP for short): given a subgroup H whose generator set is X in group G, whether any element g in G can be represented by a word on X is determined, that is, whether g is an element in H is determined.

an element decomposition search problem (decomposition search problem, DSP for short): given that g and h are two elements in group G. It is known that two elements c and d exist in G, so that h=cgd. Decide whether two elements c′ and d′ in G can be obtained, so that h=c′gd′.

a generalized element decomposition search problem (generalized decomposition search problem, GDSP for short): given that g and h are two elements in group G, and H and K are two subgroups in G. It is known that an element c of H and an element d of K exist, so that h=cgd. Decide whether an element c′ of H and an element d′ of K can be obtained, so that h=c′gd′.

The DSP can be solved easily by letting c′=g⁻¹ and d′=h. The decidability of the GDSP is not determined. However, for a decomposition equation h=cgd (c and d are unknown) in an infinite non-abelian group, it is impossible to certainly solve c and d. Because people do not know values of c and d, even if they enable h=c′gd′ by using so-called “solutions” c′ and d′ which are obtained through computation by solving the GDSP problem, they also cannot determine whether c′=c and d′=d. Particularly, if c and d are separately taken from subgroups C and D with an unsolvable GWP problem, a solver not only cannot determine whether c′=c and d′=d, but also cannot determine whether c′ and d′ respectively are elements in C and D.

In core protocol 1, information that can be acquired by an attacker Eve by using disclosed information and an interactive process with Alice and Bob is as follows:

an infinite non-abelian group G and two subgroups A and B in G, so that for any aεA and any bεB, ab=ba is true, an element g in G, and the following elements in G: y=d ₁ c ₁ gc ₂ d ₂ , x=b ₁ a ₁ ga ₂ b ₂ , z=b ₃ a ₁ d ₁ c ₁ gc ₂ d ₂ a ₂ b ₄ , w=d ₃ c ₁ b ₁ a ₁ ga ₂ b ₂ c ₂ d ₄, and v=b ₃ a ₁ c ₁ gc ₂ a ₂ b ₄ and u=d ₃ c ₁ a ₁ ga ₂ c ₂ d ₄

It should be noted that Eve only knows x, y, z, w, u and v, but does not know corresponding decomposition expressions. If Eve can obtain c₁′, c₂′εB, and a₁′, a₂′εA by solving the GDSP problem, so that a₁′ga₂′=a₁ga₂ and c₁′gc₂′=c₁gc₂, according to the multiplication commutativity of elements in A and B, it is obtained that c ₁ ′a ₁ ′ga ₂ ′c ₂ ′=c ₁ ′a ₁ ga ₂ c ₁ ′=a ₁ c ₁ ′gc ₂ ′a ₂ =a ₁ c ₁ gc ₂ a ₂ =K

and therefore, Eve needs to first obtain elements a₁ga₂ and c₁gc₂.

Because Eve does not know a₁ga₂ and c₁gc₂, she cannot strip b₁ and b₂ from x to obtain a₁ga₂, or strip d₁ and d₂ from y to obtain c₁gc₂. Eve knows w=b₁ub₂ and z=d₁vd₂ (but does not know b₁ and b₂, and d₁ and d₂). Now, even if Eve can solve the GDSP problem, to obtain b₁′, b₂′εA, and d₁′, d₂′εB, so that b₁′ub₂′=b₁ub₂ and d₁′vd₂′=d₁vd₂, she also cannot determine b₁′=b₁, b₂′=b₂, and d₁′=d₁, d₂′=d₂. Therefore, Eve still cannot strip b₁ and b₂ from x to obtain a₁ga₂, or strip d₁ and d₂ from y to obtain c₁gc₂.

Particularly, in a specific implementation solution, a braid group B_(n) with n≧12 is taken as an infinite non-abelian group G, subgroups LB_(n) and RB_(n) of B_(n) are taken as A and B respectively, and private keys b₁ and b₂, and private keys d₁ and d₂ are respectively chosen from a Mihailova subgroup M_(LA)(H) of LB_(n) and a Mihailova subgroup M_(RA)(H) of RB_(n). In the foregoing attack of Eve, she obtains b₁′, b₂′εLB_(n) and d₁′, d₂′εRB_(n) by solving the GDSP problem, so that b₁′ub₂′=b₁ub₂ and d₁′vd₂′=d₁vd₂. She must determine b₁′=b₁, b₂′=b₂ and d₁′=d₁, d₂′=d₂. Because b₁, b₂εM_(LA)(H) and d₁, d₂εM_(RA)(H), she must first determine whether b₁′, b₂′εM_(LA)(H), and whether d₁′, d₂′εM_(RA)(H). However, the GWP problems of M_(LA)(H) and M_(RA)(H) are unsolvable, so that Eve cannot carry out an attack even if she uses a quantum computational system.

In core protocol 2, information that can be acquired by an attacker Eve by using disclosed information and an interactive process with Alice and Bob is as follows:

an infinite non-abelian group G and two subgroups A and B in G, so that for any aεA and any bεB, ab=ba is true, an element g in G, and the following elements in G: y=d ₁ c ₁ ga ₂ b ₂ , x=b ₁ a ₁ gc ₂ d ₂ , z=b ₄ a ₁ d ₁ c ₁ ga ₂ b ₂ c ₂ d ₄ , w=d ₃ c ₁ b ₁ a ₁ gc ₂ d ₂ a ₂ b ₃, and v=b ₄ a ₁ c ₁ ga ₂ c ₂ d ₄ and u=d ₃ c ₁ a ₁ gc ₂ a ₂ b ₃

It should be noted that, Eve only knows x, y, z, w, u, and v, but does not know corresponding decomposition expressions. If Eve can obtain c₁′, c₂′εB, and a₁′, a₂′εA by solving the GDSP problem, so that a₁′gc₂′=a₁gc₂ and c₁′ga₂′=c₁ga₂, according to the multiplication commutativity of elements in A and B, it is obtained that c ₁ ′a ₁ ′gc ₂ ′a ₂ ′=c ₁ ′a ₁ gc ₂ c ₁ ′=a ₁ c ₁ ′ga ₂ ′c ₂ =a ₁ c ₁ ga ₂ c ₂ =K

and therefore, Eve needs to first obtain elements a₁gc₂ and c₁ga₂.

Because Eve does not know a₁gc₂ and c₁ga₂, she cannot strip b₁ and d₂ from x to obtain a₁gc₂, or strip d₁ and b₂ from y to obtain c₁ga₂. Eve knows w=b₁ud₂ and z=d₁vb₂ (but does not know b₁ and b₂, and d₁ and d₂). Now, even if Eve can solve the GDSP problem, to obtain b₁′, b₂′εA, and d₁′, d₂′εB, so that b₁′ud₂′=b₁ud₂ and d₁′vb₂′=d₁vb₂, she also cannot determine b₁′=b₁, b₂′=b₂ and d₁′=d₁, d₂′=d₂. Therefore, Eve still cannot strip b₁ and d₂ from x to obtain a₁gc₂, or strip d₁ and b₂ from y to obtain c₁ga₂.

Particularly, in a specific implementation solution, a braid group B_(n) with n≧12 is taken as an infinite non-abelian group G, subgroups LB_(n) and RB_(n) of B_(n) are taken as A and B respectively, and private keys b₁ and b₂, and private keys d₁ and d₂ are respectively chosen from a Mihailova subgroup M_(LA)(H) of LB_(n) and a Mihailova subgroup M_(RA)(H) of RB_(n). In the foregoing attack of Eve, she obtains b₁′, b₂′εLB_(n) and d₁′, d₂′εRB_(n) by solving the GDSP problem, so that b₁′ud₂′=b₁ud₂ and d₁′vb₂′=d₁vb₂. She must determine b₁′=b₁, b₂′=b₂ and d₁′=d₁, d₂′=d₂. Because b₁, b₂εM_(LA)(H) and d₁, d₂εM_(RA)(H), she must first determine whether b₁′, b₂′εM_(LA)(H), and whether d₁′, d₂′εM_(RA)(H). However, the GWP problems of M_(LA)(H) and M_(RA)(H) are unsolvable, so that Eve cannot carry out an attack even if she uses a quantum computational system.

5. Choosing of a Parameter

In an exemplary embodiment, a braid group B_(n) has an exponent of n≧12, subgroups in each protocol are A=LB_(n) and B=RB_(n), choosing of a₁, a₂, c₁, and c₂ needs to satisfy that their product a₁a₂c₁c₂ is not less than 256 bits, each of private keys b₁, b₂, d₁ and d₂ is not less than 256 bits, and each of protection layer elements b₃, b₄, d₃, and d₄ is not less than 128 bits.

It is particularly pointed out that, to resist the quantum computational attack, it is suggested that private keys b₁ and b₂, and d₁ and d₂ be respectively chosen from Mihailova subgroups M_(LA)(H) and M_(RA)(H) of the braid group B. Therefore, because of the unsolvability of the GWP of M_(LA)(H) and M_(RA)(H), as described in the security analysis, even if a quantum computational system is used, b₁ and b₂, and d₁ and d₂ also cannot be attacked.

The foregoing describes the method of establishing public key cryptographic protocols against the quantum computational attack according to the present invention, so as to help to understand the present invention. However, the implementation manners of the present invention are not limited by the foregoing embodiments, any variation, modification, replacement, combination, and simplification made without departing from the principle of the present invention shall be an equivalent replacement manner and fall within the protection scope of the present invention. 

What is claimed is:
 1. A method of implementing secure exchange of information over a communication link, comprising a method for generating a shared key, wherein the method for generating a shared key comprises the following steps: (11) establishing an infinite non-abelian group G and two subgroups A and B of G, so that for any aεA and any bεB, the equation ab=ba is true; (12) choosing, by a first communication terminal, an element g in G, wherein the first communication terminal chooses two elements b₁, b₂εA as private keys, and a second communication terminal chooses two elements d₁, d₂εB as private keys; (13) choosing, by the second communication terminal, two elements c₁, c₂εB, computing y=d₁c₁gc₂d₂, and sending y to the first communication terminal; (14) choosing, by the first communication terminal, four elements a₁, a₂, b₃, b₄εA, computing x=b ₁ a ₁ ga ₂ b ₂ and z=b ₃ a ₁ ya ₂ b ₄ =b ₃ a ₁ d ₁ c ₁ gc ₂ d ₂ a ₂ b ₄, and sending (x, z) to the second communication terminal; (15) choosing, by the second communication terminal, two elements d₃, d₄εB, computing w=d ₃ c ₁ xc ₂ d ₄ =d ₃ c ₁ b ₁ a ₁ ga ₂ b ₂ c ₂ d ₄ and v=d ₁ ⁻¹ zd ₂ ⁻¹ =d ₁ ⁻¹ b ₃ a ₁ d ₁ c ₁ gc ₂ d ₂ a ₂ b ₄ d ₂ ⁻¹ =b ₃ a ₁ c ₁ gc ₂ a ₂ b ₄ and sending (w, v) to the first communication terminal; (16) computing, by the first communication terminal, u=b ₁ ⁻¹ wb ₂ ⁻¹ =b ₁ ⁻¹ d ₃ c ₁ b ₁ a ₁ ga ₂ b ₂ c ₂ d ₄ b ₂ ⁻¹ =d ₃ c ₁ a ₁ ga ₂ c ₂ d ₄, and sending u to the second communication terminal; and (17) computing, by the first communication terminal, K_(A)=b₃ ⁻¹vb₄ ⁻¹=a₁c₁gc₂a₂, and computing, by the second communication terminal, K_(B)=d₃ ⁻¹ud₄ ⁻¹=c₁a₁ga₂c₂; because a₁, a₂εA, and c₁, c₂εB, a₁ and c₁ are separately commute with a₂ and c₂ in multiplication, so that the first communication terminal and the second communication terminal reach a shared key K=K_(A)=K_(B); exchanging information over the communication link between the first communication terminal and the second communication terminal based on the shared key.
 2. The method of implementing secure exchange of information over the communication link according to claim 1, wherein the infinite non-abelian group G is a braid group, and the braid group has Mihailova subgroups with subgroup membership problem unsolvable, and the private key is chosen from the Mihailova subgroup; a braid group B_(n) with n≧12 is taken as the infinite non-abelian group G, and is a group defined by the following presentation: B _(n)=

σ₁,σ₂, . . . ,σ_(n−1)|σ_(i)σ_(j)=σ_(j)σ_(i) , |i−j|≧2, σ_(i)σ_(i+1)σ_(i)=σ_(i+1)σ_(i)σ_(i+1), 1≦i≦n−2

, the braid group B_(n) contains the following two subgroups: let m=└n/2┘ be a maximum integer not greater than n/2, and a left braid LB_(n) and a right braid RB_(n) of the braid group B_(n) separately are: LB _(n)=

σ₁,σ₂, . . . ,σ_(m−1)

and RB _(n)=

σ_(m+1),σ_(m+2), . . . ,σ_(n−1)

that is, separately are subgroups generated by σ₁, σ₂, . . . , σ_(m−1) and σ_(m+1), σ_(m+2), . . . , σ_(n−1), and for any aεLB_(n) and any bεRB_(n), ab=ba is true, LB_(n) is taken as subgroup A of G, and RB_(n) is taken as subgroup B of G; when n≧12, LB_(n) and RB_(n), separately contain a subgroup isomorphic to F₂×F₂, that is, subgroups isomorphic to the direct product of two free groups with ranks being 2: LA=

σ _(m−5) ²,σ_(m−4) ²,σ_(m−2) ²,σ_(m−1) ²

≦LB _(n) and RA=

σ _(m+1) ²,σ_(m+2) ²,σ_(m+4) ²,σ_(m+5) ²

≦RB _(n); and then a finite presentation group H whose word problem is unsolvable and that is generated by two elements constructs a Mihailova subgroup M_(LA)(H) of LA and a Mihailova subgroup M_(RA)(H) of RA; the following is 56 generators of M_(LA)(H), wherein i=m−5; and when i=m+1, 56 generators of M_(RA)(H) can be obtained: σ_(i) ²σ_(i+3) ², σ_(i+1) ²σ_(i+4) ² , S _(ij) , T _(ij) , j=1,2, . . . ,27 and 27 S_(ij)s are: S_(i 1):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹²)⁻¹     σ_(i + 1)⁻¹²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁹     σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i 2):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰)⁻¹     σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁹     σ_(i)⁻⁴σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i 3):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸)⁻¹     σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁹     σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i 4):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶)⁻¹     σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁹     σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i 5):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴)⁻¹     σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁹     σ_(i)⁻⁴σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i 6):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²(σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁹    σ_(i)⁻⁴σ_(i + 1)¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁻¹     σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i 7):  (σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁹    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹²)⁻¹     σ_(i + 1)⁻¹²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i 8):  (σ_(i)²σ_(i + 1)⁶σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶(σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁹    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰)⁻¹     σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i 9):  (σ_(i)²σ_(i + 1)⁸σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²(σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁹    σ_(i)⁻⁴σ_(i + 1)¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸)⁻¹     σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i, 10):  (σ_(i)²σ_(i + 1)¹⁰σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²(σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁹    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶)⁻¹     σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i, 11):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁻¹     σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i, 12):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁻¹     σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸σ_(i)⁻⁴σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i, 13):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹²)⁻¹     σ_(i + 1)⁻¹²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i, 14):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰)⁻¹     σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i, 15):  (σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸)⁻¹     σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸σ_(i)⁻⁴σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)² S_(i, 16):  (σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²⁰σ_(i)⁴σ_(i + 1)⁻²⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²⁰σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴σ_(i)⁻⁴σ_(i + 1)⁻²⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²⁰σ_(i)⁴σ_(i + 1)⁻²⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶ S_(i, 17):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²⁰σ_(i)⁴σ_(i + 1)⁻²⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²⁰σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶σ_(i)⁻⁴σ_(i + 1)⁻²⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²⁰σ_(i)⁴σ_(i + 1)⁻²⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴ S_(i, 18):  (σ_(i)⁻⁴σ_(i + 1)⁻¹²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹²σ_(i)⁴σ_(i + 1)⁻¹²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)²σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴    σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)²σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)²σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻¹⁸σ_(i)²    σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²⁰σ_(i)⁴σ_(i + 1)⁻²⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²⁰(σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²)²    σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     (σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)²σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻¹⁸σ_(i)²     σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²⁰σ_(i)⁴σ_(i + 1)⁻²⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²⁰(σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²)³     σ_(i)⁻⁴σ_(i + 1)⁻¹²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹²σ_(i)⁴σ_(i + 1)⁻¹²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰ S_(i, 19):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴    σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²     σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶     σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)² S_(i, 20):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)²    σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴     σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸     (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)²σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)² S_(i, 21):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)³    σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴    (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)²σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)²     σ_(i)⁻⁴σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶     (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)³σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)² S_(i, 22):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁴    σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸σ_(i)⁻⁴σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴    (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)³σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)³     σ_(i)⁻⁴σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸     (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁴σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)² S_(i, 23):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁵    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶    σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²(σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁴    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁴     σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰     (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁵σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)² S_(i, 24):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁶    σ_(i)⁻⁴σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸    σ_(i)⁻⁴σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁴σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁵    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁵     σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸σ_(i)⁻⁴σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰     (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁶σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)² S_(i, 25):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁷    σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸    σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰    (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁶σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁶     σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸     σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶σ_(i)⁻⁴σ_(i + 1)⁻¹⁰σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁰σ_(i)⁴σ_(i + 1)⁻¹⁰σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁰     (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁷σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)² S_(i, 26):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁸    (σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²)³(σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁷    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁷     σ_(i)⁻⁴σ_(i + 1)⁻⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁶σ_(i)⁴σ_(i + 1)⁻⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁶(σ_(i)⁻⁴σ_(i + 1)⁻³σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²)³     (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁸σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)² S_(i, 27):  (σ_(i + 1)⁻⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁸(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁹    (σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²)³(σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁸    σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²)⁻¹     σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴(σ_(i)⁻⁴σ_(i + 1)⁻¹⁴σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁴σ_(i)⁴σ_(i + 1)⁻¹⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁴)⁸     σ_(i)⁻⁴σ_(i + 1)⁻⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁸σ_(i)⁴σ_(i + 1)⁻⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁸(σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²)³     (σ_(i)⁻⁴σ_(i + 1)⁻¹⁶σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁶σ_(i)⁴σ_(i + 1)⁻¹⁶σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)¹⁶)⁹σ_(i)⁻⁴σ_(i + 1)⁻¹⁸σ_(i)²σ_(i + 1)²σ_(i)⁻²σ_(i + 1)¹⁸σ_(i)⁴σ_(i + 1)⁻¹⁸σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)², all σ_(i)s in the foregoing each S_(ij) are replaced with σ_(i+3)s, and all σ_(i+1)s are replaced with σ_(i+4)s, to obtain corresponding 27 T_(ij)s, wherein j=1, 2, . . . ,
 27. 3. The method of implementing secure exchange of information over the communication link according to claim 2, wherein the braid group B_(n) has an exponent of n≧12; the subgroup is A=LB_(n) and B=RB_(n); choosing of a₁, a₂, c₁, and c₂ satisfies that their product a₁c₁ga₂c₂ is not less than 256 bits; the private keys b₁, b₂, d₁, and d₂ are all not less than 256 bits; and each of protection layer elements b₃, b₄, d₃, and d₄ is not less than 128 bits.
 4. A method of implementing secure exchange of information over a communication link, comprising a method for generating a shared key, wherein the method for generating a shared key comprises the following steps: (11.1) establishing an infinite non-abelian group G and two subgroups A and B of G, so that for any aεA and any bεB, the equation ab=ba is true; (12.1) choosing, by a first communication terminal, an element g in G, wherein the first communication terminal chooses two elements b₁₀εA and d₂₀εB as private keys, and a second communication terminal chooses two elements b₂₀εA and d₁₀εB as private keys; (13.1) choosing, by the second communication terminal, two elements a₂₀εA and c₁₀εB, computing y=d₁₀c₁₀ga₂₀b₂₀, and sending y to the first communication terminal; (14.1) choosing, by the first communication terminal, four elements a₁₀, b₄₀εA and c₂₀, d₄₀εB, computing x=b ₁₀ a ₁₀ gc ₂₀ d ₂₀ and z=b ₄₀ a ₁₀ yc ₂₀ d ₄₀ =b ₄₀ a ₁₀ d ₁₀ c ₁₀ ga ₂₀ b ₂₀ c ₂₀ d ₄₀, and sending (x, z) to the second communication terminal; (15.1) choosing, by the second communication terminal, two elements b₃₀εA and d₃₀εB, computing w=d ₃₀ c ₁₀ xa ₂₀ b ₃₀ =d ₃₀ c ₁₀ b ₁₀ a ₁₀ gc ₂₀ d ₂₀ a ₂₀ b ₃₀ and v=d ₁₀ ⁻¹ zb ₂₀ ⁻¹ =d ₁₀ ⁻¹ b ₄₀ a ₁₀ d ₁₀ c ₁₀ ga ₂₀ b ₂₀ c ₂₀ d ₄₀ b ₂₀ ⁻¹ =b ₄₀ a ₁₀ c ₁₀ ga ₂₀ a ₂₀ c ₂₀ d ₄₀, and sending (w, v) to the first communication terminal; (16.1) computing, by the first communication terminal, u=b ₁₀ ⁻¹ wd ₂₀ ⁻¹ =b ₁₀ ⁻¹ d ₃₀ c ₁₀ b ₁₀ a ₁₀ gc ₂₀ d ₂₀ a ₂₀ b ₃₀ d ₂₀ ⁻¹ =d ₃₀ c ₁₀ a ₁₀ gc ₂₀ a ₂₀ b ₃₀, and sending u to the second communication terminal; and (17.1) computing, by the first communication terminal, K_(A)=b₄₀ ⁻¹vd₄₀ ⁻¹=a₁₀c₁₀ga₂₀c₂₀, and computing, by the second communication terminal, K_(B)=d₃₀ ⁻¹ub₃₀ ⁻¹=c₁₀a₁₀gc₂a₂; because a₁₀, a₂₀εA, and c₁₀, c₂₀εB, a₁₀ and c₁₀ are separately commute with a₂₀ and c₂₀ in multiplication, so that the first communication terminal and the second communication terminal reach a shared key K=K_(A)=K_(B); exchanging information over the communication link between the first communication terminal and the second communication terminal based on the shared key.
 5. The method of implementing secure exchange of information over the communication link according to claim 4, wherein the infinite non-abelian group G is a braid group, and the braid group has Mihailova subgroups with subgroup membership problem unsolvable, and the private key is chosen from the Mihailova subgroup; a braid group B_(n) with n≧12 is taken as the infinite non-abelian group G, and is a group defined by the following presentation: B _(n)=

σ₁,σ₂, . . . ,σ_(n−1)|σ_(i)σ_(j)=σ_(j)σ_(i) , |i−j|≧2, σ_(i)σ_(i+1)σ_(i)=σ_(i+1)σ_(i)σ_(i+1), 1≦i≦n−2

, the braid group B_(n) contains the following two subgroups: let m=└n/2┘ be a maximum integer not greater than n/2, and a left braid LB_(n) and a right braid RB_(n) of the braid group B_(n) separately are: LB _(n)=

σ₁,σ₂, . . . ,σ_(m−1)

and RB _(n)=

σ_(m+1),σ_(m+2), . . . ,σ_(n−1)

that is, separately are subgroups generated by σ₁, σ₂, . . . , σ_(m−1) and σ_(m+1), σ_(m+2), . . . , σ_(n−1), and for any aεLB_(n) and any bεRB_(n), ab=ba is true, LB_(n) is taken as subgroup A of G, and RB_(n) is taken as subgroup B of G; when n≧12, LB_(n) and RB_(n) separately contain a subgroup isomorphic to F₂×F₂, that is, subgroups isomorphic to the direct product of two free groups with ranks being 2: LA=

σ _(m−5) ²,σ_(m−4) ²,σ_(m−2) ²,σ_(m−1) ²

≦LB _(n) and RA=

σ _(m+1) ²,σ_(m+2) ²,σ_(m+4) ²,σ_(m+5) ²

≦RB _(n); and then a finite presentation group H whose word problem is unsolvable and that is generated by two elements constructs a Mihailova subgroup M_(LA)(H) of LA and a Mihailova subgroup M_(RA)(H) of RA; the following is 56 generators of M_(LA)(H), wherein i=m−5; and when i=m+1, 56 generators of M_(RA)(H) can be obtained: σ_(i) ²σ_(i+3) ², σ_(i+1) ²σ_(i+4) ² , S _(ij) , T _(ij) , j=1,2, . . . ,27 and 27 S_(ij)s are: $S_{i\; 1}\text{:}\begin{matrix} {\left( {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{12}} \right)^{- 1}} \\ {\sigma_{i + 1}^{- 12}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{14}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{9}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \end{matrix}$ $S_{i\; 2}\text{:}\begin{matrix} {\left( {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{4}\sigma_{i}^{4}\sigma_{i + 1}^{- 4}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{4}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{10}} \right)^{- 1}} \\ {\sigma_{i + 1}^{- 10}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{14}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{9}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 4}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{4}\sigma_{i}^{4}\sigma_{i + 1}^{- 4}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \end{matrix}$ $S_{i\; 3}\text{:}\begin{matrix} {\left( {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{6}\sigma_{i}^{4}\sigma_{i + 1}^{- 6}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{6}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{8}} \right)^{- 1}} \\ {\sigma_{i + 1}^{- 8}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{14}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{9}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 6}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{6}\sigma_{i}^{4}\sigma_{i + 1}^{- 6}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \end{matrix}$ $S_{i\; 4}\text{:}\begin{matrix} {\left( {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{8}\sigma_{i}^{4}\sigma_{i + 1}^{- 8}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{8}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{6}} \right)^{- 1}} \\ {\sigma_{i + 1}^{- 6}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{14}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{9}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 8}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{8}\sigma_{i}^{4}\sigma_{i + 1}^{- 8}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \end{matrix}$ $S_{i\; 5}\text{:}\begin{matrix} {\left( {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{10}\sigma_{i}^{4}\sigma_{i + 1}^{- 10}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{10}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{4}} \right)^{- 1}} \\ {\sigma_{i + 1}^{- 4}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{14}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{9}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 10}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{10}\sigma_{i}^{4}\sigma_{i + 1}^{- 10}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \end{matrix}$ $S_{i\; 6}\text{:}\begin{matrix} {\left( {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{2}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)}^{9}} \right.} \\ \left. {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)^{- 1} \\ {\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \end{matrix}$ $S_{i\; 7}\text{:}\begin{matrix} {\left( {\sigma_{i}^{2}\sigma_{i + 1}^{4}\sigma_{i}^{- 2}\sigma_{i + 1}^{4}\sigma_{i}^{4}\sigma_{i + 1}^{- 4}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{4}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)}^{9}} \right.} \\ \left. {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{12}} \right)^{- 1} \\ {\sigma_{i + 1}^{- 12}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \end{matrix}$ $S_{i\; 8}\text{:}\begin{matrix} {\left( {\sigma_{i}^{2}\sigma_{i + 1}^{6}\sigma_{i}^{- 2}\sigma_{i + 1}^{6}\sigma_{i}^{4}\sigma_{i + 1}^{- 6}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{6}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)}^{9}} \right.} \\ \left. {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{10}} \right)^{- 1} \\ {\sigma_{i + 1}^{- 10}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \end{matrix}$ $S_{i\; 9}\text{:}\begin{matrix} {\left( {\sigma_{i}^{2}\sigma_{i + 1}^{8}\sigma_{i}^{- 2}\sigma_{i + 1}^{8}\sigma_{i}^{4}\sigma_{i + 1}^{- 8}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{2}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)}^{9}} \right.} \\ \left. {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{8}} \right)^{- 1} \\ {\sigma_{i + 1}^{- 8}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \end{matrix}$ $S_{i\;,10}\text{:}\begin{matrix} {\left( {\sigma_{i}^{2}\sigma_{i + 1}^{10}\sigma_{i}^{- 2}\sigma_{i + 1}^{10}\sigma_{i}^{4}\sigma_{i + 1}^{- 10}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{2}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)}^{9}} \right.} \\ \left. {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{6}} \right)^{- 1} \\ {\sigma_{i + 1}^{- 6}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \end{matrix}$ $S_{i,{1\; 1}}\text{:}\begin{matrix} {\left( {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 18}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)^{- 1}} \\ {\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{18}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \end{matrix}$ $S_{i,12}\text{:}\begin{matrix} {\left( {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{4}\sigma_{i}^{4}\sigma_{i + 1}^{- 4}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{4}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 18}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)^{- 1}} \\ {\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{18}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 4}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{4}\sigma_{i}^{4}\sigma_{i + 1}^{- 4}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \end{matrix}$ $S_{i,13}\text{:}\begin{matrix} {\left( {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{6}\sigma_{i}^{4}\sigma_{i + 1}^{- 6}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{6}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 18}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{12}} \right)^{- 1}} \\ {\sigma_{i + 1}^{- 12}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{18}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 6}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{6}\sigma_{i}^{4}\sigma_{i + 1}^{- 6}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \end{matrix}$ $S_{i,14}\text{:}\begin{matrix} {\left( {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{8}\sigma_{i}^{4}\sigma_{i + 1}^{- 8}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{8}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 18}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{10}} \right)^{- 1}} \\ {\sigma_{i + 1}^{- 10}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{18}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 8}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{8}\sigma_{i}^{4}\sigma_{i + 1}^{- 8}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \end{matrix}$ $S_{i,15}\text{:}\begin{matrix} {\left( {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{10}\sigma_{i}^{4}\sigma_{i + 1}^{- 10}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{10}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 18}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{8}} \right)^{- 1}} \\ {\sigma_{i + 1}^{- 8}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{18}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 10}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{10}\sigma_{i}^{4}\sigma_{i + 1}^{- 10}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \end{matrix}$ $S_{i,16}\text{:}\begin{matrix} {\left( {\sigma_{i + 1}^{- 6}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{20}\sigma_{i}^{4}\sigma_{i + 1}^{- 20}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{20}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \right)^{- 1}} \\ {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 20}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{20}\sigma_{i}^{4}\sigma_{i + 1}^{- 20}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{6}} \end{matrix}$ $S_{i,17}\text{:}\begin{matrix} {\left( {\sigma_{i + 1}^{- 4}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{20}\sigma_{i}^{4}\sigma_{i + 1}^{- 20}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{20}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \right)^{- 1}} \\ {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 20}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{20}\sigma_{i}^{4}\sigma_{i + 1}^{- 20}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{4}} \end{matrix}$ $\begin{matrix} {S_{i,18}\text{:}\left( {\sigma_{1}^{- 4}\sigma_{i + 1}^{- 12}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{12}\sigma_{i}^{4}\sigma_{i + 1}^{- 12}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{10}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}} \right.} \\ {\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 18}\sigma_{i}^{2}} \\ {\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{20}\sigma_{i}^{4}\sigma_{i + 1}^{- 20}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{20}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}} \right)}^{2}} \\ \left. {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \right)^{- 1} \\ {\left( {\sigma_{1}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}} \right)^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 18}\sigma_{i}^{2}} \\ {\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{20}\sigma_{i}^{4}\sigma_{i + 1}^{- 20}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{20}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}} \right)}^{8}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 12}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{12}\sigma_{i}^{4}\sigma_{i + 1}^{- 12}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{10}} \end{matrix}$ $\begin{matrix} {S_{i,19}\text{:}\left( {\sigma_{i + 1}^{- 4}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{18}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right.} \\ {\sigma_{1}^{- 4}\sigma_{i + 1}^{- 6}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{6}\sigma_{i}^{4}\sigma_{i + 1}^{- 6}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{6}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}} \\ \left. {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \right)^{- 1} \\ {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 6}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{6}\sigma_{i}^{4}\sigma_{i + 1}^{- 6}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{6}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 18}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}} \end{matrix}$ $\begin{matrix} {S_{i,20}\text{:}\left( {\sigma_{i + 1}^{- 4}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{18}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{2}} \right.} \\ {\sigma_{1}^{- 4}\sigma_{i + 1}^{- 8}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{8}\sigma_{i}^{4}\sigma_{i + 1}^{- 8}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{8}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}} \\ \left. {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \right)^{- 1} \\ {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 8}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{8}\sigma_{i}^{4}\sigma_{i + 1}^{- 8}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{8}} \\ {\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)^{2}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 18}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}} \end{matrix}$ $\begin{matrix} {S_{i,21}\text{:}\left( {\sigma_{i + 1}^{- 4}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{18}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{3}} \right.} \\ {\sigma_{1}^{- 4}\sigma_{i + 1}^{- 6}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{6}\sigma_{i}^{4}\sigma_{i + 1}^{- 6}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{6}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 4}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{4}\sigma_{i}^{4}\sigma_{i + 1}^{- 4}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{4}} \\ \left. {\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)^{2}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \right)^{- 1} \\ {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{14}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{2}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 4}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{4}\sigma_{i}^{4}\sigma_{i + 1}^{- 4}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{4}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 6}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{6}\sigma_{i}^{4}\sigma_{i + 1}^{- 6}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{6}} \\ {\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)^{3}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 18}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}} \end{matrix}$ $\begin{matrix} {S_{i,22}\text{:}\left( {\sigma_{i + 1}^{- 4}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{18}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{4}} \right.} \\ {\sigma_{1}^{- 4}\sigma_{i + 1}^{- 8}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{8}\sigma_{i}^{4}\sigma_{i + 1}^{- 8}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{8}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 4}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{4}\sigma_{i}^{4}\sigma_{i + 1}^{- 4}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{4}} \\ \left. {\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)^{3}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \right)^{- 1} \\ {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{14}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{3}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 4}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{4}\sigma_{i}^{4}\sigma_{i + 1}^{- 4}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{4}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 8}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{8}\sigma_{i}^{4}\sigma_{i + 1}^{- 8}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{8}} \\ {\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)^{4}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 18}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}} \end{matrix}$ $\begin{matrix} {S_{i,23}\text{:}\left( {\sigma_{i + 1}^{- 4}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{18}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{5}} \right.} \\ {\sigma_{1}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{10}\sigma_{i}^{4}\sigma_{i + 1}^{- 10}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{10}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 6}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{6}\sigma_{i}^{4}\sigma_{i + 1}^{- 6}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{6}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{2}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)}^{4}} \\ \left. {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \right)^{- 1} \\ {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{14}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{4}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 6}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{6}\sigma_{i}^{4}\sigma_{i + 1}^{- 6}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{6}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 10}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{10}\sigma_{i}^{4}\sigma_{i + 1}^{- 10}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{10}} \\ {\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)^{5}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 18}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}} \end{matrix}$ $\begin{matrix} {S_{i,24}\text{:}\left( {\sigma_{i + 1}^{- 4}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{18}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{6}} \right.} \\ {\sigma_{1}^{- 4}\sigma_{i + 1}^{- 10}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{10}\sigma_{i}^{4}\sigma_{i + 1}^{- 10}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{10}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 8}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{8}\sigma_{i}^{4}\sigma_{i + 1}^{- 8}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{8}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 4}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{4}\sigma_{i}^{4}\sigma_{i + 1}^{- 4}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{4}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)}^{5}} \\ \left. {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \right)^{- 1} \\ {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{14}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{5}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 8}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{8}\sigma_{i}^{4}\sigma_{i + 1}^{- 8}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{8}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 10}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{10}\sigma_{i}^{4}\sigma_{i + 1}^{- 10}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{10}} \\ {\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)^{6}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 18}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}} \end{matrix}$ $\begin{matrix} {S_{i,25}\text{:}\left( {\sigma_{i + 1}^{- 4}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{18}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{7}} \right.} \\ {\sigma_{1}^{- 4}\sigma_{i + 1}^{- 6}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{6}\sigma_{i}^{4}\sigma_{i + 1}^{- 6}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{6}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 8}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{8}\sigma_{i}^{4}\sigma_{i + 1}^{- 8}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{8}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 6}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{6}\sigma_{i}^{4}\sigma_{i + 1}^{- 6}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{6}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 10}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{10}\sigma_{i}^{4}\sigma_{i + 1}^{- 10}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{10}} \\ \left. {\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)^{6}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \right)^{- 1} \\ {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{14}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{6}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 6}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{6}\sigma_{i}^{4}\sigma_{i + 1}^{- 6}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{6}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 8}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{8}\sigma_{i}^{4}\sigma_{i + 1}^{- 8}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{8}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 6}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{6}\sigma_{i}^{4}\sigma_{i + 1}^{- 6}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{6}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{10}\sigma_{i}^{4}\sigma_{i + 1}^{- 10}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{10}} \\ {\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)^{7}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 18}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}} \end{matrix}$ $S_{i,26}\text{:}\begin{matrix} {\left( {\sigma_{i + 1}^{- 4}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{18}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{8}} \right.} \\ {\left( {\sigma_{1}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}} \right)^{3}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)^{7}} \\ \left. {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \right)^{- 1} \\ {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{14}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{7}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 6}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{6}\sigma_{i}^{4}\sigma_{i + 1}^{- 6}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{6}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}} \right)}^{3}} \\ {\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)^{8}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 18}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}} \end{matrix}$ $\begin{matrix} {S_{i,27}\text{:}\left( {\sigma_{i + 1}^{- 4}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{18}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{9}} \right.} \\ {\left( {\sigma_{1}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}} \right)^{3}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)^{8}} \\ \left. {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}} \right)^{- 1} \\ {\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{14}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 14}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{14}\sigma_{i}^{4}\sigma_{i + 1}^{- 14}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{14}} \right)}^{8}} \\ {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 8}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{8}\sigma_{i}^{4}\sigma_{i + 1}^{- 8}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}{\sigma_{i + 1}^{8}\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{2}\sigma_{i}^{4}\sigma_{i + 1}^{- 2}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}} \right)}^{3}} \\ {{\left( {\sigma_{i}^{- 4}\sigma_{i + 1}^{- 16}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{16}\sigma_{i}^{4}\sigma_{i + 1}^{- 16}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{16}} \right)^{9}\sigma_{i}^{- 4}\sigma_{i + 1}^{- 18}\sigma_{i}^{2}\sigma_{i + 1}^{2}\sigma_{i}^{- 2}\sigma_{i + 1}^{18}\sigma_{i}^{4}\sigma_{i + 1}^{- 18}\sigma_{i}^{- 2}\sigma_{i + 1}^{- 2}\sigma_{i}^{2}\sigma_{i + 1}^{2}},} \end{matrix}$ all σ_(i)s in the foregoing each S_(ij) are replaced with σ_(i+3)s, and all σ_(i+1)s are replaced with σ_(i+4)s, to obtain corresponding 27 T_(ij)s, wherein j=1, 2, . . . ,
 27. 6. The method of implementing secure exchange of information over the communication link according to claim 5, wherein the braid group B_(n) has an exponent of n≧12; the subgroup is A=LB_(n) and B=RB_(n); choosing of a₁₀, a₂₀, c₁₀ and c₂₀ satisfies that their product a₁₀c₁₀ga₂₀c₂₀ is not less than 256 bits; the private keys b₁₀, b₂₀, d₁₀, and d₂₀ are all not less than 256 bits; and each of protection layer elements b₃₀, b₄₀, d₃₀, and d₄₀ is not less than 128 bits. 